@$i$: only members of $L$ read $x$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$k$:Knd. hasloc($k$;$i$) $\Rightarrow$ $\neg$($k$ $\in$ $L$) $\Rightarrow$ es{-}independent(${\it es}$;$i$;$k$;$x$)